ðTERMINE:> finitismo

AUTORE:> Hilbert

OPERA/E:> Sull'infinito (1925)

FONTE:> Kline, Matematica: la perdita della certezza, Mondadori, p.274.

PAROLE COLLEGATE:>[F9] >

OSSERVAZIONI: >

"Finitisti" sono chiamati i concetti e i metodi di dimostrazione metamatematici. Hilbert, nell'articolo indicato sopra, presenta un esempio: l'enunciato "se p è primo allora esiste un numero primo maggiore di p" è non f., perché verte su tutti i numeri interi maggiori di p; viceversa, l'asserzione "se p è primo allora esiste un numero primo tra p e p!+1" è finitista, dal momento che, per qualsiasi p, tutto ciò che dobbiamo fare è passare in rassegna la quantità finita di numeri che separano p da p!+1 e controllare se uno di essi è primo.